English translation for "analysis language"

分析型语言

Example Sentences:

1.

In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement 我们的方法就是用cpal （ cryptographicprotocolanalysislanguage ）语言来表示协议，将hoare和dijkstra在形式语义方面的理论应用到该语言，分析该语言的形式语义，定义每种语句的最弱前置条件。

Similar Words：

"analysis index" English translation, "analysis instrumentation" English translation, "analysis interconnect" English translation, "analysis job monitor" English translation, "analysis joint time-frequency" English translation, "analysis life" English translation, "analysis line" English translation, "analysis line pair" English translation, "analysis list" English translation, "analysis measuring method and instrument" English translation